Quine's Fluted Fragment is Non-Elementary
نویسندگان
چکیده
We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus refuting an earlier published claim by W.C. Purdy that it is in NExpTime. More precisely, we consider, for all m greater than 1, the intersection of the fluted fragment and the m-variable fragment of first-order logic. We show that this subfragment forces (m/2)-tuply exponentially large models, and that its satisfiability problem is (m/2)-NExpTime-hard. We round off by using a corrected version of Purdy’s construction to show that the m-variable fluted fragment has the m-tuply exponential model property, and that its satisfiability problem is in m-NExpTime. 1998 ACM Subject Classification F.4.1 Mathematical logic
منابع مشابه
A note on Quine's theory of radical translation
This paper examines the theory of translation in Quine's Word and Object and attempts to show that it involves tacit appeal to a premise concerning a regularity in the behavior of bilinguals. The regularity is one whose existence is neither explained nor rendered probable by the theory. The suggestion that the regularity could result from congenital dispositions to organize and pattern linguist...
متن کاملExperimental Study on the Flow and Heat Transfer Characteristics of TiO2-Water Nanofluids in a Spirally Fluted Tube
The flow and heat transfer characteristics of TiO2-water nanofluids with different nanoparticle mass fractions in a spirally fluted tube and a smooth tube are experimentally investigated at different Reynolds numbers. The effects of pH values and doses of dispersant agent on the stability of TiO2-water nanofluids are discussed. The effects of nanoparticle mass fractions and Reynolds numbers on ...
متن کاملThe northern fluted point complex: technological and morphological evidence of adaptation and risk in the late Pleistocene-early Holocene Arctic
Analyses of fluted point technology and Paleoindian technological risk have contributed to our understanding of human adaptation across North America in the late Pleistocene and early Holocene. However, poor chronological control has dissuaded similar studies of fluted points found in Alaska and northern Yukon and our understanding of their adaptive role in early arctic adaptations remains uncl...
متن کاملConsistency of Quine's New Foundations using nominal techniques
We build a model in nominal sets for TST+; typed set theory with typical ambiguity. It is known that this is equivalent to the consistency of Quine's New Foundations. Nominal techniques and permutation models are used to constrain the size of powersets and thus model typical ambiguity.
متن کاملSurvival and radiographic analysis of a glenoid component with a cementless fluted central peg.
BACKGROUND Aseptic loosening of glenoid components is a common problem associated with total shoulder arthroplasty and one cause for failure. A new cementless fluted glenoid component was developed and has shown excellent bony ingrowth in a canine model. HYPOTHESIS Clinical utilization of this cementless fluted pegged glenoid component in total shoulder arthroplasty would lower rates of radio...
متن کامل